-
1 совокупность формул
Русско-английский синонимический словарь > совокупность формул
-
2 совокупность формул
collection of formulas мат., set of formulasРусско-английский научно-технический словарь Масловского > совокупность формул
-
3 совокупность формул
Mathematics: collection of formulas, formalism (набор), set of formulasУниверсальный русско-английский словарь > совокупность формул
-
4 Книга мёртвых
Religion: Book of the Dead (Ancient Egyptian collection of mortuary texts made up of spells or magic formulas, placed in tombs and believed to protect and aid the deceased in the hereafter) -
5 Тексты саркофагов
-
6 книга мёртвых
Religion: Book of the Dead (Ancient Egyptian collection of mortuary texts made up of spells or magic formulas, placed in tombs and believed to protect and aid the deceased in the hereafter)
См. также в других словарях:
Viète's formulas — For Viète s formula for computing pi;, see that article. In mathematics, more specifically in algebra, Viète s formulas, named after François Viète, are formulas which relate the coefficients of a polynomial to signed sums and products of its… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Formulary — A collection of formulas, recipes, and prescriptions. The National Formulary is published by the American Pharmaceutical Association every 5 years and gives the composition, description, method of preparation, and dosage for drugs. The British… … Medical dictionary
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Euler–Mascheroni constant — Euler s constant redirects here. For the base of the natural logarithm, e ≈ 2.718..., see e (mathematical constant). The area of the blue region is equal to the Euler–Mascheroni constant. List of numbers – Irrational and suspected irrational… … Wikipedia
Markov logic network — A Markov logic network (or MLN) is a probabilistic logic which applies the ideas of a Markov network to first order logic, enabling uncertain inference. Markov logic networks generalize first order logic, in the sense that, in a certain limit,… … Wikipedia
Constante de Euler-Mascheroni — La constante de Euler Mascheroni, (también conocida como constante de Euler ) es una constante matemática que aparece principalmente en teoría de números, y se denota con la letra griega minúscula γ (Gamma). Se define como el límite de la… … Wikipedia Español
for|mu|lar|y — «FR myuh LEHR ee», noun, plural lar|ies, adjective. –n. 1. a collection of formulas. 2. a set form of words; formula. 3. Pharmacy. a book of formulas for standard preparations used in medicines. –adj. having to do with formulas … Useful english dictionary
Fritz Oberhettinger — (* 24. Februar 1911 in Gelsenkirchen Buer; † 2. Juni 1993 in Seal Rock, Oregon) war ein deutsch US amerikanischer Mathematiker, bekannt für Tafelwerke über spezielle Funktionen. Oberhettinger machte 1936 in Breslau sein Staatsexamen und… … Deutsch Wikipedia
formularies — n. collection of formulas; formula; book of forms or formulas (especially religious rituals) for·mu·lar·y || fÉ”rmjÉ™lerɪ / fÉ”ËmjÊŠlÉ™rɪ … English contemporary dictionary